split definition and use site hidden tys #148170
Conversation
|
Some changes occurred in exhaustiveness checking cc @Nadrieril |
rustbot
added
S-waiting-on-review
| for hidden_ty in fcx_typeck_results.hidden_types.values() { | ||
| assert!(!hidden_ty.has_infer()); | ||
| } |
There was a problem hiding this comment.
ideally this is just an assert in EarlyBinder::bind. Adding that is more annoying than I expected as we need to do some lifetime dependent shit in some of the query system stuff which relies on transmutes. nm, actually just gonna do that in this PR as well
There was a problem hiding this comment.
also ass because we create ty::EarlyBinder<'tcx, impl IntoIterator<Item = ty::Binder<'tcx, ty::TraitRef<'tcx>>>> sometimes. An early binder of an iterator :x
|
☔ The latest upstream changes (presumably #148220) made this pull request unmergeable. Please resolve the merge conflicts. |
lcnr
force-pushed
the
opaques-early-binder
branch
from
cd5dc48 to
3a6ab3f
Compare
|
This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed. Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers. |
4 participants
Tracking this implicitly is kinda messy and easy to get wrong.
r? @BoxyUwU